First-order logic
(in Logics) 1차 술어 논리.
Articles
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note01.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note02.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note03.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note04.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note05.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note06.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note07.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note08.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note09.pdf